Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
predicate logic SOLO Syntax/Semantic Language SOL semantic network standard semantics Purdue Compiler-Construction Tool Set Prolog-II Turbo Prolog Larch ASIS S/SL Ada Semantic Interface Specification UTOPIST NETL interoperable database ELMAMETA LAMBDA SEM SSL semantic gap BABEL XPC Attribute Translation System TEMPO cppp language-sensitive editor Algebraic Logic Functional language XSB ANNotated Ada Trilogy rl Scheme SORCERER Wild_LIFE PL/I Coco/R Complex Instruction Set Computer